Special Issue on Program Verification, Automated Debugging and Symbolic Computation
نویسندگان
چکیده
منابع مشابه
Special issue on symbolic and algebraic computation
The International Symposium on Symbolic and Algebraic Computation (ISSAC), held at the University of Waterloo, Ontario, Canada in July 2007, was a successful meeting of this annual conference series, with a significant increase of the number of participants. Built on this success, the decision to publish a special issue in the Journal of Symbolic Computation was taken and a call for contributio...
متن کاملSpecial issue on artificial intelligence and symbolic computation
ing symbolic matrices Special issue on artificial intelligence and symbolic computation Randa Almomen · Alan P. Sexton · Volker Sorge © Springer Science+Business Media B.V. 2012 Abstract We present a procedure that allows the abstraction of elements in concrete symbolic matrices to obtain a more compact representation employing ellipses in order to expose homogeneous regions present in a matrix...
متن کاملSpecial issue on symbolic computation in software science
This special issue of the Journal of Symbolic Computation is related to the Fourth and Fifth International Symposia on Symbolic Computation in Software Science, SCSS 2012 and SCSS 2013, held, respectively, in Gammarth, Tunisia, December 15–17, 2012 and in Hagenberg, Austria, July 5–6, 2013. After an open call for papers, we received 18 submissions, six of which have been selected for publicatio...
متن کاملSpecial issue on Automated Specification and Verification of Web Systems
We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: Rule-based approaches to Web system analysis, certification, specification, verification, and optimization. Languages and models for programming and designing Web systems. Formal methods for describing and reasoning about Web systems. Model-checking, synthesis and debugging of ...
متن کاملSpecial issue on Automated Verification of Critical Systems (AVoCS'11)
AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2017
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2016.07.005